Skip to content

Configure Dependabot to batch GitHub Actions updates#11358

Merged
mergify[bot] merged 2 commits intomasterfrom
copilot/batch-updates-dependabot-gh-actions
Dec 18, 2025
Merged

Configure Dependabot to batch GitHub Actions updates#11358
mergify[bot] merged 2 commits intomasterfrom
copilot/batch-updates-dependabot-gh-actions

Conversation

Copy link
Contributor

Copilot AI commented Dec 16, 2025 •
edited
Loading

Template B: This PR does not modify behaviour or interface

E.g. the PR only touches documentation or tests, does refactorings, etc.

Include the following checklist in your PR:

  • Patches conform to the coding conventions.
  • Is this a PR that fixes CI? If so, it will need to be backported to older cabal release branches (ask maintainers for directions).

Dependabot currently creates separate PRs for each GitHub Actions update. This adds a groups configuration to batch all action updates into a single PR.

Changes:

  • Added groups section to .github/dependabot.yml for the github-actions ecosystem
  • Pattern * matches all actions, consolidating updates into one PR named "Bump the github-actions group with N updates"
  - package-ecosystem: "github-actions"
    directory: "/"
    schedule:
      interval: "weekly"
    groups:
      github-actions:
        patterns:
          - "*"
Original prompt

This section details on the original issue you should resolve

<issue_title>Dependabot should batch updates to the github-actions ecosystem in a single PR</issue_title>
<issue_description></issue_description>

Comments on the Issue (you are @copilot in this section)

💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

@ulysses4ever
Configure Dependabot to batch GitHub Actions updates
b3b2ed4 
Co-authored-by: ulysses4ever <6832600+ulysses4ever@users.noreply.github.com>
Copilot AI changed the title [WIP] Batch updates to the github-actions ecosystem in a single PR Configure Dependabot to batch GitHub Actions updates Dec 16, 2025
Copilot AI requested a review from ulysses4ever December 16, 2025 15:11
@ulysses4ever ulysses4ever marked this pull request as ready for review December 16, 2025 15:11
@ulysses4ever
Copy link
Collaborator

ulysses4ever commented Dec 16, 2025

This aligns with what I saw on the internets. Thanks @copilot!

Copilot AI requested a review from ulysses4ever December 16, 2025 15:18
@geekosaur
Copy link
Collaborator

geekosaur commented Dec 16, 2025

Whoops, missed that Artem doesn't count since he worked with Copilot.

@ulysses4ever
Copy link
Collaborator

ulysses4ever commented Dec 16, 2025

yeah, this was new to me. @Mikolaj maybe? Your approval will save thousands of approvals for future dependabot PRs that won't happen because of the batching!

@mergify mergify bot added the ready and waiting Mergify is waiting out the cooldown period label Dec 16, 2025
Mikolaj
Mikolaj approved these changes Dec 16, 2025
View reviewed changes
Copy link
Member

@Mikolaj Mikolaj left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Woot!

@mergify mergify bot added merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days queued labels Dec 18, 2025
@mergify
Copy link
Contributor

mergify bot commented Dec 18, 2025 •
edited
Loading

Merge Queue Status

✅ The pull request has been merged at b3b2ed4

This pull request spent 1 hour 42 minutes 36 seconds in the queue, including 1 hour 32 minutes 8 seconds running CI.
The checks were run on draft #11365.

Required conditions to merge
  • #approved-reviews-by >= 2 [🛡 GitHub branch protection]
  • #changes-requested-reviews-by = 0 [🛡 GitHub branch protection]
  • #review-threads-unresolved = 0 [🛡 GitHub branch protection]
  • any of [🛡 GitHub branch protection]:
    • check-success = Doctest Cabal
    • check-neutral = Doctest Cabal
    • check-skipped = Doctest Cabal
  • any of [🛡 GitHub branch protection]:
    • check-success = Meta checks
    • check-neutral = Meta checks
    • check-skipped = Meta checks
  • any of [🛡 GitHub branch protection]:
    • check-success = docs/readthedocs.org:cabal
    • check-neutral = docs/readthedocs.org:cabal
    • check-skipped = docs/readthedocs.org:cabal
  • any of [🛡 GitHub branch protection]:
    • check-success = Validate post job
    • check-neutral = Validate post job
    • check-skipped = Validate post job
  • any of [🛡 GitHub branch protection]:
    • check-success = fourmolu
    • check-neutral = fourmolu
    • check-skipped = fourmolu
  • any of [🛡 GitHub branch protection]:
    • check-success = hlint
    • check-neutral = hlint
    • check-skipped = hlint
  • any of [🛡 GitHub branch protection]:
    • check-success = Bootstrap post job
    • check-neutral = Bootstrap post job
    • check-skipped = Bootstrap post job
  • any of [🛡 GitHub branch protection]:
    • check-success = whitespace
    • check-neutral = whitespace
    • check-skipped = whitespace
  • any of [🛡 GitHub branch protection]:
    • check-success = Check sdist post job
    • check-neutral = Check sdist post job
    • check-skipped = Check sdist post job
  • any of [🛡 GitHub branch protection]:
    • check-success = Changelogs
    • check-neutral = Changelogs
    • check-skipped = Changelogs

mergify bot added a commit that referenced this pull request Dec 18, 2025
@mergify
Merge of #11358
2bd4c16
@mergify mergify bot mentioned this pull request Dec 18, 2025
Closed
86 tasks
@mergify mergify bot merged commit cef2fb4 into master Dec 18, 2025
306 of 346 checks passed
@mergify mergify bot deleted the copilot/batch-updates-dependabot-gh-actions branch December 18, 2025 22:38
@mergify mergify bot removed the queued label Dec 18, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@Mikolaj Mikolaj Mikolaj approved these changes

@geekosaur geekosaur geekosaur approved these changes

+1 more reviewer

@ulysses4ever ulysses4ever ulysses4ever approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

@ulysses4ever ulysses4ever

Copilot code review Copilot

Labels

merge delay passed Applied (usually by Mergify) when PR approved and received no updates for 2 days merge me Tell Mergify Bot to merge ready and waiting Mergify is waiting out the cooldown period

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Dependabot should batch updates to the github-actions ecosystem in a single PR

4 participants

@ulysses4ever @geekosaur @Mikolaj